Criteria to Disprove Context-Freeness of Collage Languages
نویسندگان
چکیده
Collage grammars generate picture languages in a context-free way. The generating process is based on the replacement of atomic nonterminal items and can be seen as an adaptation of the notion of hyperedge replacement known from the area of context-free graph generation. While a pumping lemma holds for hyperedge replacement graph grammars and is quite useful to show that certain graph languages cannot be generated, the same technique fails in the collage case, unfortunately. But, in this paper, we present some other criteria that allow to disprove context freeness of collage languages.
منابع مشابه
Table-driven and context-sensitive collage languages
In this paper, we introduce the notions of context-sensitive and TOL collage grammars as generalizations of context-free collage grammars. Both kinds of picture generating devices are more powerful than the context-free case. Nevertheless, the sizes of collages in a TOL collage language can be shown to grow at most exponentially. In contrast to this, there are no such bounds for context-sensiti...
متن کاملSome Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars
Collage grammars and context-free chain-code grammars are compared with respect to their generative power. It is shown that the generated classes of line-drawing languages are incomparable, but that chain-code grammars can simulate collage grammars that use only similarity transformations.
متن کاملMaking Finite-State Methods Applicable to Languages Beyond Context-Freeness via Multi-dimensional Trees
We provide a new term-like representation for multi-dimensional trees as defined by Rogers [8,9] which establishes them as a direct generalization of classical trees. As a consequence these structures can be used as input for finite-state applications based on classical tree language theory. Via the correspondence between string and tree languages these applications can then be conceived to be ...
متن کاملHyperedge Replacement Languages and Pushdown Automata
In this paper we are studying the relations between generated and accepted hyperedge replacement languages. In context freeness of hyperedge replacement grammars we can transform each grammar into an equivalent one in Greibach Normal Form (HRGNF). In order to create a pushdown automata for hyperedge replacement languages (PDAH) we build an algorithm to transform the planar structure of a hyperg...
متن کاملPseudo-inversion on Formal Languages
We consider the pseudo-inversion operation inspired by a biological event as a result of the partial inversion. We define the pseudoinversion of a string w = uxv to consist of all strings vxu, where uv = λ and consider the operation from a formal language theoretic viewpoint. We show that regular languages are closed under the pseudoinversion operation whereas context-free languages are not. Fu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 290 شماره
صفحات -
تاریخ انتشار 1997